Semantik formalaşdırılması

Semantik veb və ya Veb 3.0 — Ümumdünya Hörümçək Toru Konsorsiumu (W3C) tərəfindən müəyyən edilmiş standartlar vasitəsilə Ümumdünya hörümçək torunun genişlənməsidir. Semantik vebin məqsədi internet məlumatlarını maşın tərəfindən oxunabilən etməkdir. Semantikanın verilənlərlə kodlaşdırılmasını təmin etmək üçün Resurs Təsvir Çərçivəsi (ing. Resource Description Framework; RDF) və Veb Ontologiya Dili (ing. Web Ontology Language) kimi texnologiyalardan istifadə olunur. Bu texnologiyalar metaməlumatı formal şəkildə təmsil etmək üçün istifadə olunur. Məsələn, ontologiya anlayışları, varlıqlar arasındakı əlaqələri və əşyaların kateqoriyalarını təsvir edir. Bu daxil edilmiş semantika verilənlər üzərində əsaslandırma və müxtəlifnövlü məlumat mənbələri ilə işləmək kimi əhəmiyyətli üstünlüklər də təklif edir.Bu standartlar internetdə, əsasən RDF-də olduğu kimi ümumi məlumat formatlarını və mübadilə protokollarını təşviq edir. W3C-yə görə, "Semantik veb məlumatların proqram, şirkət və cəmiyyət sərhədləri arasında paylaşılmasına və təkrar istifadə edilməsinə imkan verən ümumi bir çərçivəni təmin edir." Buna görə də Semantik veb müxtəlif məzmun və məlumat tətbiqləri arasında birləşdirici kimi qiymətləndirilir. Termin Tim Berners-Li tərəfindən istifadə edilib.